Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
321	FxISO SDK FxISO Software Development Kit Technical specifications Features • Add to Reading List Source URL: www.biometrika.it Language: English - Date: 2015-04-16 08:36:29 Surveillance Identification Fingerprint recognition BioAPI Fingerprint C++ Public key fingerprint Windows XP Fingerprint Verification Competition Fingerprints Biometrics Security
322	Java Software Verification Tools excluding “Unit test” and “Web test” frameworks Name Type F/C Add to Reading List Source URL: cjp.darwinsys.com - Date: 2015-03-07 12:45:22
323	Busitech QW 5.0 versionMay 21, 2013 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2013-05-23 10:27:45 Software testing System software Software Windows Registry Verification and validation Windows Script Host
324	Busitech QW 5.0 versionFebruary 14, 2006 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:52:17 Software Computer programming Clinical research Quality Validation Dynamic-link library Software testing Verification and validation Visual Basic Computing Pharmaceutical industry Validity
325	Busitech QW 5.0 versionNovember 26, 2008 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:51:42 Internet Explorer Windows Script Host Windows Registry Dynamic-link library Visual Basic Software testing Verification and validation Evaluation Assurance Level Computing Software System software
326	Busitech QW 5.0 versionSeptember 19, 2008 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:51:08 Internet Explorer Windows Script Host Windows Registry Dynamic-link library Visual Basic Software testing Verification and validation Evaluation Assurance Level Computing Software System software
327	Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Add to Reading List Source URL: www.cs.kun.nl Language: English - Date: 2002-05-29 03:53:26 Logic in computer science Formal methods Concurrent computing Cross-platform software Process calculi Communicating sequential processes Runtime verification Actor model Process calculus Computing Theoretical computer science Software engineering
328	Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University Add to Reading List Source URL: www.gilvegliach.it Language: English - Date: 2014-02-20 13:15:14 Computer architecture Android software development Android Mobile operating system Malware Symbian Linear temporal logic Motorola Droid Smartphones Software Computing
329	Contract # GS21F0022V General Services Administration Federal Supply Service Authorized Federal Supply Schedule Price List On-line access to contract ordering information, terms and conditions, up-to-date Add to Reading List Source URL: www.abraxasenergy.com Language: English Energy service company Energy audit International performance measurement and verification protocol Measurement and Verification Ameresco Energy industry Energy conservation measure EnergyCAP Energy management software Energy conservation Energy Environment
330	Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-07-25 12:01:05 Compiler construction NuSMV Software testing Model checking Static program analysis Abstract interpretation Parsing Software verification Coverity Model checkers Software Computing

UPDATE